Herman Geuvers: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The -calculus

Geuvers, Herman, Krebbers, Robbert, McKinna, James

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 373 KB

english, 2013

2

Deduction Graphs with Universal Quantification

Herman Geuvers, Iris Loeb

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 346 KB

english, 2008

3

Proof by computation in the Coq system

Martijn Oostdijk, Herman Geuvers

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 168 KB

english, 2002

4

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2646 || Java as a Functional Programming Language

Geuvers, Herman, Wiedijk, Freek

Year:

2003

Language:

english

File:

PDF, 217 KB

english, 2003

5

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 6898 || Point-Free, Set-Free Concrete Linear Algebra

van Eekelen, Marko, Geuvers, Herman, Schmaltz, Julien, Wiedijk, Freek

Year:

2011

Language:

english

File:

PDF, 248 KB

english, 2011

6

Type Theory and Formal Proof (An Introduction) || Untyped lambda calculus

Nederpelt, Rob, Geuvers, Herman

Year:

2014

Language:

english

File:

PDF, 301 KB

english, 2014

7

Type Theory and Formal Proof (An Introduction) || Types dependent on types

Nederpelt, Rob, Geuvers, Herman

Year:

2014

Language:

english

File:

PDF, 208 KB

english, 2014

8

Type Theory and Formal Proof (An Introduction) || Simply typed lambda calculus

Nederpelt, Rob, Geuvers, Herman

Year:

2014

Language:

english

File:

PDF, 308 KB

english, 2014

9

Type Theory and Formal Proof (An Introduction) || Second order typed lambda calculus

Nederpelt, Rob, Geuvers, Herman

Year:

2014

Language:

english

File:

PDF, 198 KB

english, 2014

10

Type Theory and Formal Proof (An Introduction) || Types dependent on terms

Nederpelt, Rob, Geuvers, Herman

Year:

2014

Language:

english

File:

PDF, 222 KB

english, 2014

11

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 10383 || Part-of-Math Tagging and Applications

Geuvers, Herman, England, Matthew, Hasan, Osman, Rabe, Florian, Teschke, Olaf

Year:

2017

Language:

english

File:

PDF, 299 KB

english, 2017

12

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 10383 || Semantic Representation of General Topology in the Wolfram Language

Geuvers, Herman, England, Matthew, Hasan, Osman, Rabe, Florian, Teschke, Olaf

Year:

2017

Language:

english

File:

PDF, 14.22 MB

english, 2017

13

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 10383 || The New Numdam Platform

Geuvers, Herman, England, Matthew, Hasan, Osman, Rabe, Florian, Teschke, Olaf

Year:

2017

Language:

english

File:

PDF, 5.75 MB

english, 2017

14

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 10383 || A Web-Based Toolkit for Mathematical Word Processing Applications with Semantics

Geuvers, Herman, England, Matthew, Hasan, Osman, Rabe, Florian, Teschke, Olaf

Year:

2017

Language:

english

File:

PDF, 4.34 MB

english, 2017

15

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 10383 || The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema

Geuvers, Herman, England, Matthew, Hasan, Osman, Rabe, Florian, Teschke, Olaf

Year:

2017

Language:

english

File:

PDF, 1.39 MB

english, 2017

16

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 10383 || DeepAlgebra - An Outline of a Program

Geuvers, Herman, England, Matthew, Hasan, Osman, Rabe, Florian, Teschke, Olaf

Year:

2017

Language:

english

File:

PDF, 151 KB

english, 2017

17

Type Theory and Formal Proof (An Introduction) || Flag-style natural deduction in λD

Nederpelt, Rob, Geuvers, Herman

Year:

2014

Language:

english

File:

PDF, 302 KB

english, 2014

18

Logic Colloquium 2006 || Higher-order abstract syntax in type theory

Cooper, S. Barry, Geuvers, Herman, Pillay, Anand, Vaananen, Jouko

Year:

2009

Language:

english

File:

PDF, 504 KB

english, 2009

19

Strong Normalization for Truth Table Natural Deduction

Geuvers, Herman, van der Giessen, Iris, Hurkens, Tonny, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 418 KB

2019

20

A Constructive Algebraic Hierarchy in Coq

Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg

Journal:

Journal of Symbolic Computation

Year:

2002

Language:

english

File:

PDF, 276 KB

english, 2002

21

A Logical Framework with Explicit Conversions

Herman Geuvers, Freek Wiedijk

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 284 KB

english, 2008

22

Preface

S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 149 KB

english, 2008

23

The correctness of Newman’s typability algorithm and some of its extensions

Herman Geuvers, Robbert Krebbers

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 500 KB

english, 2011

24

Explicit substitution on the edge of strong normalization

Roel Bloo, Herman Geuvers

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 1.22 MB

english, 1999

25

Preface: Volume 85, Issue 7

Herman Geuvers, Fairouz Kamareddine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 56 KB

english, 2003

26

The logic and mathematics of occasion sentences

Pieter A. M. Seuren, Venanizo Capretta, Herman Geuvers

Journal:

Linguistics and Philosophy

Year:

2001

Language:

english

File:

PDF, 345 KB

english, 2001

27

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 6898 || Mechanised Computability Theory

Eekelen, Marko, Geuvers, Herman, Schmaltz, Julien, Wiedijk, Freek

Year:

2011

Language:

english

File:

PDF, 272 KB

english, 2011

28

Levels of undecidability in rewriting

Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 416 KB

english, 2011

29

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2646 || General Recursion in Type Theory

Geuvers, Herman, Wiedijk, Freek

Year:

2003

Language:

english

File:

PDF, 231 KB

english, 2003

30

N.G. de Bruijn’s contribution to the formalization of mathematics

Geuvers, Herman, Nederpelt, Rob

Journal:

Indagationes Mathematicae

Year:

2013

Language:

english

File:

PDF, 208 KB

english, 2013

31

Narrating Formal Proof (Work in Progress)

Tankink, Carst, Geuvers, Herman, McKinna, James

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 629 KB

english, 2012

32

The Logic and Mathematics of Occasion Sentences

Pieter A. M. Seuren, Venanzio Capretta and Herman Geuvers

Journal:

Linguistics and Philosophy

Year:

2001

Language:

english

File:

PDF, 6.57 MB

english, 2001

33

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2646 || Weak Transitivity in Coercive Subtyping

Geuvers, Herman, Wiedijk, Freek

Year:

2003

Language:

english

File:

PDF, 265 KB

english, 2003

34

Constructive analysis, types and exact real numbers

GEUVERS, HERMAN, NIQUI, MILAD, SPITTERS, BAS, WIEDIJK, FREEK

Journal:

Mathematical Structures in Computer Science

Year:

2007

Language:

english

File:

PDF, 436 KB

english, 2007

35

Preface to the special issue: Constructive analysis, types and exact real numbers

SPITTERS, BAS, GEUVERS, HERMAN, NIQUI, MILAD, WIEDIJK, FREEK

Journal:

Mathematical Structures in Computer Science

Year:

2007

Language:

english

File:

PDF, 189 KB

english, 2007

36

Natural deduction via graphs: formal definition and computation rules

GEUVERS, HERMAN, LOEB, IRIS

Journal:

Mathematical Structures in Computer Science

Year:

2007

Language:

english

File:

PDF, 907 KB

english, 2007

37

[ACM Press the Eighth ACM SIGPLAN international workshop - Boston, Massachusetts, USA (2013.09.23-2013.09.23)] Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice - LFMTP '13 - Explicit convertibility proofs in pure type systems

van Doorn, Floris, Geuvers, Herman, Wiedijk, Freek

Year:

2013

Language:

english

File:

PDF, 687 KB

english, 2013

38

Modularity of strong normalization in the algebraic-λ-cube

BARBANERA, FRANCO, FERNÁNDEZ, MARIBEL, GEUVERS, HERMAN

Journal:

Journal of Functional Programming

Year:

1997

Language:

english

File:

PDF, 498 KB

english, 1997

39

Some logical and syntactical observations concerning the first-order dependent type system λP

GEUVERS, HERMAN, BARENDSEN, ERIK

Journal:

Mathematical Structures in Computer Science

Year:

1999

Language:

english

File:

PDF, 306 KB

english, 1999

40

Social processes, program verification and all that

ASPERTI, ANDREA, GEUVERS, HERMAN, NATARAJAN, RAJA

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 149 KB

english, 2009

41

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Type Theory based on Dependent Inductive and Coinductive Types

Basold, Henning, Geuvers, Herman

Year:

2016

Language:

english

File:

PDF, 326 KB

english, 2016

42

Type Theory and Formal Proof (An Introduction) || Greek alphabet

Nederpelt, Rob, Geuvers, Herman

Year:

2014

File:

PDF, 49 KB

2014

43

Type Theory and Formal Proof (An Introduction) || Definitions

Nederpelt, Rob, Geuvers, Herman

Year:

2014

Language:

english

File:

PDF, 257 KB

english, 2014

44

Type Theory and Formal Proof (An Introduction) || The encoding of logical notions in λC

Nederpelt, Rob, Geuvers, Herman

Year:

2014

Language:

english

File:

PDF, 252 KB

english, 2014

45

Type Theory and Formal Proof (An Introduction) || The Calculus of Constructions

Nederpelt, Rob, Geuvers, Herman

Year:

2014

Language:

english

File:

PDF, 197 KB

english, 2014

46

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 10383 || VMEXT: A Visualization Tool for Mathematical Expression Trees

Geuvers, Herman, England, Matthew, Hasan, Osman, Rabe, Florian, Teschke, Olaf

Year:

2017

Language:

english

File:

PDF, 1.80 MB

english, 2017

47

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 10383 || Semantic Preserving Bijective Mappings of Mathematical Formulae Between Document Preparation Systems and Computer Algebra Systems

Geuvers, Herman, England, Matthew, Hasan, Osman, Rabe, Florian, Teschke, Olaf

Year:

2017

Language:

english

File:

PDF, 2.01 MB

english, 2017

48

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 10383 || Software Citations, Information Systems, and Beyond

Geuvers, Herman, England, Matthew, Hasan, Osman, Rabe, Florian, Teschke, Olaf

Year:

2017

Language:

english

File:

PDF, 5.11 MB

english, 2017

49

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 10383 || Combining Refinement and Signal-Temporal Logic for Biological Systems

Geuvers, Herman, England, Matthew, Hasan, Osman, Rabe, Florian, Teschke, Olaf

Year:

2017

Language:

english

File:

PDF, 471 KB

english, 2017

50

[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 10383 || Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues

Geuvers, Herman, England, Matthew, Hasan, Osman, Rabe, Florian, Teschke, Olaf

Year:

2017

Language:

english

File:

PDF, 985 KB

english, 2017